1. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Dowek, Gilles
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
2. Proofs and Algorithms: an introduction to logic and computability
Author: Dowek, Gilles
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
Classification :
QA
9
.
D68
2011
